1. Elements de logique mathematique
المؤلف: / G. Kreisel, J. L. Krivine
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Logic, Symbolic and mathematical,Mathematical models
رده :
QA
9
.
K77
1967
2. Elements de logique mathematique; theorie des modeles
المؤلف: Kreisel, Georg
المکتبة: (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
K77
3. Elements de logique mathematique)Theorie des models(
المؤلف: Kreisel, Georg
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and Mathematical
رده :
QA
9
.
K7
4. Elements of mathematical logic ; model theory
المؤلف: Kreisel, Georg
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical,، Mathematical models
رده :
QA
9
.
K772
1971
5. Gödel remembered :
المؤلف: R. Gödel [and others] ; edited by Paul Weingartner and Leopold Schmetterer
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Gödel, Kurt,Logic, Symbolic and mathematical, Congresses,Logiciens - États-Unis - Biographies,Logique symbolique et mathématique
رده :
QA9
.
A1
G63
1987
6. Modelltheorie : eine Einfuhrung in die mathematische Logik und Grundlagentheorie
المؤلف: Kreisel, Georg
المکتبة: (طهران)
موضوع: ، Model theory
رده :
QA
9
.
K7715
1972
